<frameset cols="30%, 70%">
	<frame src="toc.html" name="TOC" noresize>
	<frame src="contents.html" name="EcoreDoc" noresize>
</frameset>
